Research data supporting "Units-of-Measure Correctness in Fortran Programs"
- Contrastin, Mistral
- Orchard, Dominic
- Rice, Andrew
- Danish, Matthew
DOIAbstract
Source code for the Camfort toolThis work was supported by the EPSRC [grant number EP/M026124/1]
Source code for the Camfort toolThis work was supported by the EPSRC [grant number EP/M026124/1]
Typescript (photocopy).Digitized by Kansas Correctional IndustriesDepartment: Computer Science
Many mi-croprocessors now provide FORTRAN IV programming capabilities. Because raw data and statisti...
This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the...
The authors argue that they can increase confidence in Fortran programs with unit annotations and Ca...
CamFort is our multi-purpose tool for lightweight analysis and verification of scientific Fortran co...
AbstractDimensional analysis is a well known technique for checking the consistency of equations inv...
Dimensional analysis is a well known technique for checking the consistency of equations involv- ing...
CamFort is our multi-purpose tool for lightweight analysis and verification of scientific Fortran co...
Code generating the research data in the paper 'Semimartingale detection and goodness-of-fit tests'....
Many of the computer models used in scientific research have been developed in Fortran over many yea...
Statistical data is presented on the distribution of FORTRAN identifiers as a function of length and...
SIGLEAvailable from British Library Document Supply Centre-DSC:6029.2806(14/98) / BLDSC - British Li...
SIGLELD:9091.9F(AERE-M--3266) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Approved for public release; distribution is unlimited. 13. Abstract (Maximum 200 words). This artic...
The reason for developing this software is that the existing statistical packages such as STATA, S-p...
Typescript (photocopy).Digitized by Kansas Correctional IndustriesDepartment: Computer Science
Many mi-croprocessors now provide FORTRAN IV programming capabilities. Because raw data and statisti...
This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the...
The authors argue that they can increase confidence in Fortran programs with unit annotations and Ca...
CamFort is our multi-purpose tool for lightweight analysis and verification of scientific Fortran co...
AbstractDimensional analysis is a well known technique for checking the consistency of equations inv...
Dimensional analysis is a well known technique for checking the consistency of equations involv- ing...
CamFort is our multi-purpose tool for lightweight analysis and verification of scientific Fortran co...
Code generating the research data in the paper 'Semimartingale detection and goodness-of-fit tests'....
Many of the computer models used in scientific research have been developed in Fortran over many yea...
Statistical data is presented on the distribution of FORTRAN identifiers as a function of length and...
SIGLEAvailable from British Library Document Supply Centre-DSC:6029.2806(14/98) / BLDSC - British Li...
SIGLELD:9091.9F(AERE-M--3266) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Approved for public release; distribution is unlimited. 13. Abstract (Maximum 200 words). This artic...
The reason for developing this software is that the existing statistical packages such as STATA, S-p...
Typescript (photocopy).Digitized by Kansas Correctional IndustriesDepartment: Computer Science
Many mi-croprocessors now provide FORTRAN IV programming capabilities. Because raw data and statisti...
This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the...
Add to ORKG